(declare-fun v16 () Bool)
(declare-fun i5 () Int)
(declare-fun str7 () String)
(push)
(assert v16)
(assert (distinct "ed\u01a5\u01f1\u0241\xa8{r\u01ef\u02" str7 (str.from_int i5)))
(push)
(pop)
(check-sat)
